Deduction of Propositions on Tangents from Propositions on Secants.–

On Judgements and Propositions

Dear Hans-Jörg! In the seventies and early eighties we have been colleagues in the ‘Automatentheorie und Formale Sprachen’ group at TU Berlin and shared many interests. Later we departed into different fields of research and followed different directions of thought. It is thirty years now that we have completed our PhD at TU Berlin, and this year is your sixtieth birthday. Since the times at AT...

On Russellian Propositions

This paper discusses some structural conditions under which Russellian propositions in the sense of J. Barwise and J. Etchemendy [2] are paradoxical, and the computational complexity of the problems whether or not Russellian proposition is paradoxical, intrinsically paradoxical, and classical.

Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview

PROPOSITIONS on the ROBUSTNESS of MULTISTEPFORMULAEChristopher

Classical analysis of linear multistep formulae (LMFs) for initial-value problems in ordinary diierential equations (ODEs) has concentrated on problems satisfying uniform Lipschitz or one-sided Lipschitz conditions, and corresponding stability models. We here contribute insight into the robustness of such formulae for equations with a stronger nonlinearity and of related formulae for functional...

Effects of Reporting Beliefs in Syllogistically Related Propositions on the Recognition of Unmentioned Propositions

Subjects completed a belief questionnaire that contained propositions of the form "X implies Y." In some cases, the questionnaire items included both premises and the conclusion of a syllogism of the form "A implies B, B implies C, A implies C" (e.g., "Taking vitamin C will increase resistance to infection," "Increasing resistance to infection will prevent colds," and "Taking vitamin C will pre...